소프트웨어융합대학
- 소프트웨어융합대학
관심분야
소프트웨어 보안, 자동차 보안, 블록체인 보안, 프로그래밍 언어
학력
-
Ph.D.: Information Security, KAIST, Republic of Korea, 2021
-
M.S.: Information Security, KAIST, Republic of Korea, 2014
-
B.S.: Software Engineering, The University of Manchester, UK, 2008
약력/경력
-
LG전자 VS 사업본부, 책임연구원, 2017-2021
-
한국인터넷진흥원 (KISA), 연구원, 2011-2012
학술지 논문
-
(2020)
All about Activity Injection: Threats, Semantics, Detection, and Defense.
SOFTWARE-PRACTICE & EXPERIENCE.
50,
7
학술회의논문
-
(2023)
RT-Blockchain: Achieving Time-Predictable Transactions.
IEEE Real-Time Systems Symposium.
대만
-
(2023)
EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes.
ACM SIGSOFT Symposium on the Foundations of Software Engineering.
미국
-
(2021)
JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs.
International Conference on Software Engineering.
스페인
-
(2020)
Gap between Theory and Practice : An Empirical Study of Security Patches in Solidity.
International Conference on Software Engineering.
대한민국
